1. Advanced topics on computer vision, control and robotics in mechatronics /
پدیدآورنده: Osslan Osiris Vergara Villegas, Manuel Nandayapa, Israel Soto, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer vision.,Control theory.,Mechatronics.,Robotics.,Automatic control engineering.,Computer vision.,COMPUTERS-- General.,Control theory.,Mechatronics.,Robotics.
رده :
TA1634
.
A38
2018eb
2. Advances in computers.
پدیدآورنده: edited by Marvin V. Zelkowitz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
47
3. Advances in computers.
پدیدآورنده: edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
3
4. Advances in computers.
پدیدآورنده: edited by Franz L. Alt and Morris Rubinoff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computers.,Electronic datat processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA76
.
A3eb
vol
.
5
5. Artificial intelligence and heuristic programming
پدیدآورنده : editors: N. V. Findler [and] Bernard Meltzer
موضوع : Artificial intelligence,Electronic digital computers - Programming,Heuristic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. Artificial intelligence research and development :
پدیدآورنده: edited by Teresa Alsinet, Josep Puyol-Gruart, and Carme Torras.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Digital computer simulation, Congresses.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Digital computer simulation.
رده :
Q334
.
C37
2008eb
7. Automated reasoning: 33 Base research problems
پدیدآورنده: Larry Wos
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988
8. Automated reasoning: introduction and applications
پدیدآورنده: )by( Larry Wos )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
A96
A93
1984
9. Catalogue of artificial intelligence tools
پدیدآورنده: edited by Alan Bundy
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Artificial intelligence -- Data processing,، Robotics,، Electronic digital computers -- Programming,Catalogs ، Computer programs
رده :
Q
336
.
C27
1986
10. Catalogue of artificial intelligence tools
پدیدآورنده: Bundy, Alan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
11. Catalogue of artificial intelligence tools
پدیدآورنده: Bundy, Alan.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
12. Catalogue of artificial intelligence tools
پدیدآورنده: BUNDY,ALAN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ARTIFICIAL INTELLIGENCE-DATA PROCESSING , ROBOTICS , ELECTRONIC DIGITAL COMPUTERS-
رده :
Q
336
.
B86
1986
13. Communication, devices, and computing :
پدیدآورنده: Jaydeb Bhaumik, Indrajit Chakrabarti, Bishnu Prasad De, Banibrata Bag, Surajit Mukherjee, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks, Congresses.,Computer security, Congresses.,Artificial intelligence.,Communications engineering-- telecommunications.,Computer networks.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
TK5105
.
5
14. Computer Security -- ESORICS 92 :
پدیدآورنده: edited by Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Operating systems (Computers)
15. Computer assisted radiology :
پدیدآورنده: edited by/Herausgegeben von H.U. Lemke [and others] ; organizer/Organisator, H.U. Lemke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Diagnostic imaging -- Data processing -- Congresses.,Diagnostic imaging -- Digital techniques -- Congresses.,Radiology Information Systems.
16. Computers and languages: Theory and Practice
پدیدآورنده: Anton, Nijholt
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic digital computers- Programming,Programming language (Electronic Computer)
رده :
QA
،
76
.
6
،.
N55
،
1988
17. Contemporary computing :
پدیدآورنده: Sanjay Ranka [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Soft computing, Congresses.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Informatique.,Soft computing.,Soft computing.
رده :
QA75
.
5
.
I584
2009
18. Cooperative design, visualization, and engineering :
پدیدآورنده: Yuhua Luo (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Architectural design-- Data processing, Congresses.,Computer-aided design, Congresses.,Engineering-- Data processing, Congresses.,Artificial Intelligence.,Computer Communication Networks.,Database Management.,Special Purpose and Application-Based Systems.,User Interfaces and Human Computer Interaction.,Architectural design-- Data processing.,Artificial intelligence.,Computer-aided design.,Computers-- Database Management-- General.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- User Interfaces.,Databases.,Engineering-- Data processing.,Expert systems-- knowledge-based systems.,Network hardware.,User interface design & usability.
رده :
TA174
19. Developing 2D games with Unity :
پدیدآورنده: Jared Halpern.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Unity (Electronic resource),Unity (Electronic resource),C# (Computer program language),Video games-- Design.,C# (Computer program language),COMPUTERS-- Programming-- Games.,Video games-- Design.
رده :
QA76
.
76
.
C672
20. E-Government:
پدیدآورنده: edited by Michael Böhlen, Johann Gamper, Wolfgang Polasek, Maria A. Wimmer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computers -- Law and legislation.
رده :
JF1525
.
A8
E358
2005
